autoepistemic logic

[网络] 自动认识逻辑;自认知逻辑